Trefferliste "Homotopy Type Theory" - alle Bücher

Ihre Suche nach "Homotopy Type Theory" (Bücher) ergab 2 Treffer.

Egbert Rijke

Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar ab 31.8.2025.

Buch

EUR 61,80* Aktueller Preis: EUR 61,80

Artikel merken

In den Warenkorb

Menge ändern

Stefan Müller-Stach

The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32* Aktueller Preis: EUR 53,32

Artikel merken

In den Warenkorb

Menge ändern